Towards a Formal Framework for Computational Trust
نویسندگان
چکیده
We define a mathematical measure for the quantitative comparison of probabilistic computational trust systems, and use it to compare a well-known class of algorithms based on the so-called beta model. The main novelty is that our approach is formal, rather than based on experimental simulation.
منابع مشابه
Probabilistic Computational Trust
We argue briefly for the role of computational trust in ubiquitous computing, and in particular for the need of a formal foundation for computational trust. We provide two examples towards such a foundation: a formal foundation for a some probabilistic approaches from the literature, and a formal framework for comparing probabilistic
متن کاملTowards an Integrated Formal Analysis for Security and Trust
We aim at defining an integrated framework for the specification and (automated) analysis for security and trust in complex and dynamic scenarios. In particular, we show how the same machinery used for the formal verification of security protocols may be used to analyze access control policies based on trust management.
متن کاملSelf-Confidence in Psychology and Islamic Ethics: Towards an Interpretive Framework and Its Relation to Trust in God
This paper focuses on self-confidence in psychology in both conceptual and empirical ways and investigates the status of self-confidence in Islamic ethics. Five relevant approaches to self-confidence are identified and then comparatively studied in psychology and Islamic ethics. In addition, an attempt is made to present an appropriate framework to build, boost, and improve self-confidence thro...
متن کاملTowards an Ontology of Trust
Trust is a fundamental factor when people are interacting with each other, hence it is natural that trust has been researched also in relation to applications and agents. However, there is no single definition of trust that everybody would share. This, in turn, has caused a multitude of formal or computational trust models to emerge to enable trust use and dependence in applications. Since the ...
متن کاملA Formal Notion of Trust - Enabling Reasoning about Security Properties
Historically, various different notions of trust can be found, each addressing particular aspects of ICT systems, e.g. trust in electronic commerce systems based on reputation and recommendation, or trust in public key infrastructures. While these notions support the understanding of trust establishment and degrees of trustworthiness in their respective application domains, they are insufficien...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006